Ed Lucas - PDFSEARCH.IO - Document Search Engine

Ed Lucas
Results: 61

#	Item
41	Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation Lucas Dixon1 and Ross Duncan2 1 Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-05-04 13:02:00
42	Social Rationalism; Scotland, my utopia. Lucas Dixon, KenYerSel original draft: 25 Oct 2007, updated 2 Jan 2009 There is another way our world can be. It is up to us, together, to walk towar Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-02 11:26:53
43	Graphical Reasoning in Compact Closed Categories for Quantum Computation Lucas Dixon∗ University of Edinburgh Ross Duncan† Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2009-03-11 14:32:27
44	IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2008-12-03 05:18:38
45	Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-04-09 17:09:07 Automated theorem proving Theoretical computer science Mathematical logic Mathematics Rippling IsaPlanner Mathematical proof Resolution Unification Mathematical induction Triviality
46	IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-03-10 05:42:39 Automated theorem proving Theoretical computer science Mathematical logic Mathematics IsaPlanner Automated reasoning Isabelle Rippling Mathematical proof Interactive Theorem Proving Theorem Mathematical induction
47	Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-11-17 05:56:04
48	Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-22 02:32:00
49	A Calculus for Conjecture Synthesis Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona ?? Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2011-02-28 21:07:11
50	Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-10-06 07:21:32 Automated theorem proving Theoretical computer science Mathematics Heuristics Rippling Mathematical logic Lemma Unification

UPDATE